Nuprl Definition : rng_plus 13,42
+r == (r.2.2.2).1 
latex

Uprng sig object directory
Wellformedness Lemmasrng plus wf
Definitionst.1, t.2

origin